thats Dash to Dock GNOME Shell extension, but budges and progress bars might come by default to Ubuntu Dock for Ubuntu 17.10 and GNOME 3.26<br /><br />https://github.com/micheleg/dash-to-dock/pull/590<br /><br />btw songs are in the end of the video!